Portal do Governo Brasileiro
BDPA - Bases de Dados da Pesquisa Agropecuária Embrapa
Home Bibliotecas Itens selecionados Créditos Ajuda
 






Registro Completo
Biblioteca(s):  Embrapa Agricultura Digital.
Data corrente:  30/05/1996
Data da última atualização:  17/08/2007
Autoria:  BARROS, R. S. M. de.
Título:  Specification and derivation of relational database programs.
Ano de publicação:  1995
Fonte/Imprenta:  In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 22.; CONFERÊNCIA LATINO-AMERICANA, 21., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática, 1995.
Volume:  v.1
Páginas:  p.387-398
Idioma:  Inglês
Conteúdo:  The development of database applications is usually carried out informally. The derivation of database programs directly from formal specification is a well known and unsolved problem. Most of the previous work on the area either tried to solve the problem too generally or was restricted to some trivial aspects, for example deriving the database structure and/or simple operations. However difficult in general, deriving relational database applications directly from z specifications satisfyng a certain set of rules (the method) is not arduous. With appropriate tool support, writting formal specifications according to the method and deriving the corresponding relational database programs can be straightforward. Moreover, it should produce code which is standardized and thus easier to understand and maintain.
Categoria do assunto:  --
Marc:  Mostrar Marc Completo
Registro original:  Embrapa Agricultura Digital (CNPTIA)
Biblioteca ID Origem Tipo/Formato Classificação Cutter Registro Volume Status URL
CNPTIA3172 - 1ADDPL - --004SEM1995.00004
Voltar






Ordenar por: RelevânciaAutorTítuloAnoImprime registros no formato resumido      Imprime registros no formato resumido
Registros recuperados : 11
Primeira ... 1 ... Última
1.Imagem marcado/desmarcadoALMEIDA, A. A. F. de; LOPES, N. F.; OLIVA, M. A.; BARROS, R. S. Efeito do Nitrogênio e da Luz Sobre os Teores de Carboidratos e Nitrogênio em Phaseolus Vulgaris. Pesquisa Agropecuária Brasileira, Brasília, v.23, n.9, p. 979-985, set. 1988
Biblioteca(s): Embrapa Unidades Centrais.
Visualizar detalhes do registroImprime registro no formato completo
2.Imagem marcado/desmarcadoALMEIDA, A. A. F. de; LOPES, N. F.; OLIVA, M. A.; BARROS, R. S. Doses de Nitrogênio e Densidade de Luz no Crescimento do Feijoeiro e na Conversão da Energia Solar. Pesquisa Agropecuária Brasileira, Brasília, v.23, n.8, p. 849-859, ago. 1988
Biblioteca(s): Embrapa Unidades Centrais.
Visualizar detalhes do registroImprime registro no formato completo
3.Imagem marcado/desmarcadoALMEIDA, A. A. F.; LOPES, N. F.; OLIVA, M. A.; BARROS, R. S. Desenvolvimento e Participção de Assimilados em Phaseolus Vulgaris Submetido a Três Doses de Nitrogênio e Três Níveis de Luz. Pesquisa Agropecuária Brasileira, Brasília, v.23, n.8, p. 837-847, ago. 1988
Biblioteca(s): Embrapa Unidades Centrais.
Visualizar detalhes do registroImprime registro no formato completo
4.Imagem marcado/desmarcadoCARVALHO, P. C. de F.; BARROS, R. S.; PONTES, L. da S.; PORFIRIO-DA-SILVA, V.; MORAES, A. de. Produção de bovinos em sistemas integrados de produção agrícola e pecuária. In: ENCONTRO SOBRE PRODUÇÃO AGROPECUÁRIA SUSTENTÁVEL, 2., 2013, Votuporanga. Anais. Campinas: IAC, 2013. p. 1-13. (Documentos IAC, n. 111).
Tipo: Artigo em Anais de Congresso
Biblioteca(s): Embrapa Florestas.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
5.Imagem marcado/desmarcadoCRUZ, C. B. M.; CARVALHO JUNIOR, W. de; BARROS, R. S. de; ARGENTO, M. S. F.; MAYR, L. M. Impactos ambientais no sistema lagunar de Marica-Guarapina. In: SIMPOSIO BRASILEIRO DE SENSORIAMENTO REMOTO, 8., 1996, Salvador,BA. Anais... Sao Paulo: INPE/Sociedade Latino-Americana de Sensoriamento Remoto e Sistemas de Informacoes Espaciais, 1996. CD-ROM.
Biblioteca(s): Embrapa Solos.
Visualizar detalhes do registroImprime registro no formato completo
6.Imagem marcado/desmarcadoMACIEL, M. V.; MORAIS, S. M.; BEVILAQUA, C. M. L.; SILVA, R. A.; BARROS, R. S.; SOUSA, R. N.; SOUSA, L. C.; MACHADO, L. K. A.; BRITO, E. S. de; SOUZA NETO, M. A. de. Atividade inseticida in vitro do óleo de sementes de nim sobre Lutzomyia longipalpis (Diptera: Psychodidae). Revista Brasileira de Parasitologia Veterinária, Jaboticabal, v. 19, n. 1, p. 7-11, 2010.
Tipo: Artigo em Periódico IndexadoCirculação/Nível: B - 3
Biblioteca(s): Embrapa Agroindústria Tropical.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
7.Imagem marcado/desmarcadoMACEDO, I. T. F.; BEVILAQUA, C. M. L.; OLIVEIRA, L. M. B. de; CAMURÇA-VASCONCELOS, A. L. F.; VIEIRA, L. da S.; OLIVEIRA, F. R.; QUEIROZ JÚNIOR, E. M.; PORTELA, B. G.; BARROS, R. S.; CHAGAS, A. C. de S. Atividade ovicida e larvicida in vitro do óleo essencial de Eucalyptus globulus sobre Haemonchus contortus. Revista Brasileira de Parasitologia Veterinária, v. 18, n. 3, p. 62-66, jul./set. 2009. Título em inglês: Ovicidal and larvicidal activity in vitro of Eucalyptus globulus essential oils on Haemonchus contortus.
Tipo: Artigo em Periódico IndexadoCirculação/Nível: B - 3
Biblioteca(s): Embrapa Caprinos e Ovinos.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
8.Imagem marcado/desmarcadoMACEDO, I. T. F.; BEVILAQUA, C. M. L.; OLIVEIRA, L. M. B. de; CAMURÇA-VASCONSELOS, A. L. F.; VIEIRA, L. da S.; OLIVEIRA, F. R.; QUEIROZ JUNIOR, E. M.; PORTELA, B. G.; BARROS, R. S.; CHAGAS, A. C. de S. Atividade ovicida e larvicida in vitro do óleo essencial de Eucalyptus globulus sobre Haemonchus contortus. Revista Brasileira de Parasitologia Veterinária, v. 18, n. 3, p. 62-66, 2009.
Tipo: Artigo em Periódico IndexadoCirculação/Nível: B - 3
Biblioteca(s): Embrapa Pecuária Sudeste.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
9.Imagem marcado/desmarcadoMACIEL, M. V.; MORAIS, S. M.; BEVILAQUA, C. M. L.; SILVA, R. A.; BARROS, R. S.; SOUSA, R. N.; SOUSA, L. C.; BRITO, E. S. de; SOUZA NETO, M. A. de. Chemical composition of Eucalyptus spp. essential oils and their insecticidal effects on Lutzomyia longipalpis. Veterinary Parasitology, v. 167, n. 1, p. 1-7, 2009.
Tipo: Artigo em Periódico IndexadoCirculação/Nível: A - 1
Biblioteca(s): Embrapa Agroindústria Tropical.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
10.Imagem marcado/desmarcadoOLIVEIRA, L. M. B. de; BEVILAQUA, C. M. L.; COSTA, C. T. C.; MACEDO, I. T. F.; BARROS, R. S.; RODRIGUES, A. C. M.; CAMURÇA-VASCONCELOS, A. L. F.; MORAIS, S. M.; LIMA, Y. C.; VIEIRA, L. da S.; NAVARRO, A. M. C. Anthelmintic activity of Cocos nucifera L. against sheep gastrointestinal nematodes. Veterinary Parasitology, v. 159, n. 1, p. 55-59, 2009.
Tipo: Artigo em Periódico IndexadoCirculação/Nível: A - 1
Biblioteca(s): Embrapa Caprinos e Ovinos.
Visualizar detalhes do registroAcesso restrito ao objeto digitalImprime registro no formato completo
11.Imagem marcado/desmarcadoMACEDO, I. T. F.; BEVILAQUA, C. M. L.; OLIVEIRA, L. M. B. de; CAMURÇA-VASCONCELOS, A. L. F.; AMÓRA, S. S. A.; PORTELA, B. G.; QUEIRÓZ JÚNIOR, E. M. de; BARROS, R. S.; MESQUITA, M. de A.; VIEIRA, L. da S.; MACIEL, M. V. Investigation of anthelmintic activity of Eucalyptus staigeriana essential oil on goat gastrointestinal nematodes. In: WORLD ASSOCIATION FOR THE ADVANCEMENT OF VETERINARY PARASITOLOGY, 22., 2009, Calgary. Proceedings... Calgary: WAAVP, 2009. 1 CD-ROM. Ref. P01.56
Tipo: Resumo em Anais de Congresso
Biblioteca(s): Embrapa Caprinos e Ovinos.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
Registros recuperados : 11
Primeira ... 1 ... Última
Nenhum registro encontrado para a expressão de busca informada.
  
 

Embrapa
Todos os direitos reservados, conforme Lei n° 9.610
Política de Privacidade
Área Restrita
Embrapa Agricultura Digital
Av. André Tosello, 209 - Barão Geraldo
Caixa Postal 6041- 13083-886 - Campinas, SP
SAC: https://www.embrapa.br/fale-conosco

Valid HTML 4.01 Transitional